Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
251	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization
252	To appear in MFCSAvailable online from http://www.cl.cam.ac.uk/∼ljw1004 Explicit Fusions Philippa Gardner and Lucian Wischik∗ June 2000 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:52:59 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Computability theory Process calculus Lambda calculus Bisimulation Calculus
253	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: coccinelle.lip6.fr Language: English Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
254	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
255	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
256	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
257	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
258	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
259	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
260	Armstrong’s Metaphysics and Philosophy of Mathematics Introduction In this paper I will do four things. First, I shall briefly discuss Armstrong’smetaphysics with special attention to his mereology. This shal Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-10-01 17:10:20 Philosophy Ontology Metaphysics Mereology Chemical bonding Mathematical logic Predicate logic Nominalism Simple Problem of universals Universal Covalent bond

UPDATE